Security-by-contract on the .NET platform

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Security-by-contract on the .NET platform

Over the last few years, the success of GPS-enabled PDAs has finally instigated a breakthrough of mobile devices. Many people now already have a device that can connect to the internet and run untrusted code, typically a cell-phone or PDA. Having such a large interconnected and powerful computing base presents some new security issues. In order to counter new threats, the traditional security a...

متن کامل

Security-by-Contract for the OSGi Platform

The natural business model of OSGi is dynamic loading and removal of bundles or services on an OSGi platform. If bundles can come from different stakeholders, how do we make sure that one’s services will only be invoked by the authorized bundles? A simple solution is to interweave functional and security logic within each bundle, but this decreases the benefits of using a common platform for se...

متن کامل

Security-By-Contract for the Future Internet

With the advent of the next generation java servlet on the smartcard, the Future Internet will be composed by web servers and clients silently yet busily running on high end smart cards in our phones and our wallets. In this brave new world we can no longer accept the current security model where programs can be downloaded on our machines just because they are vaguely “trusted”. We want to know...

متن کامل

Competitive Contract Net Protocol

The proposed Competitive Contract Net Protocol has been designed to facilitate a flexible cooperation in competitive multi-agent environments and to support automated or semi-automated negotiations in competitive domains. The protocol is based on FIPA standards. The protocol covers not only the phase of contracting the commitments, but also allows for a decommitment negotiation and contract ter...

متن کامل

Reducing Communication Load on Contract Net by Case-Based Reasoning-- Extension with Directed Contract and Forgetting

This paper describes the communication load reduction on the task negotiation with Cont.rart Net Protor~d for multiph: autonomou~ lnobilc robots. Wc have dcvek)pe(l LEMMING. a task negotiation system with low ~xmnmtnication load for nmltiple atttonomolts mobile robots. For controlling multiple robots, Contract Net Protocol(CNP) is useful, but the broadcast of the Task Announcement messages on C...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information Security Technical Report

سال: 2008

ISSN: 1363-4127

DOI: 10.1016/j.istr.2008.02.001